4541. Universal algebra and applications in theoretical computer science
Author: Denecke, Klaus
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Algebra, Universal,، Computer science-- Mathematics
Classification :
QA
251
.
D385
2002
4542. Universal algebra and applications in theoretical computer science
Author: Denecke, Klaus
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Algebra, Universal,Mathematics ، Computer science
Classification :
QA
251
.
D385
2002
4543. Universal algebra and applications in theoretical computer science
Author: Denecke, Klaus
Library: Central Library and Documentation Center (Semnan)
Subject: ، Algebra, Universal,، Computer scienc--Mathematics
Classification :
QA
251
.
D34U56
2002
4544. Universal algebra and applications in theoretical computer science
Author: / Klaus Denecke, Shelly L. Wismath
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Algebra, Universal,Computer science- Mathematics
Classification :
QA251
.
D385
2002
4545. Universal algebra and applications in theoretical computer science
Author: Klaus Denecke, Shelly L. Wismath
Library: CENTRAL LIBRARY UNIVERCITY OF HORMOZGAN (Hormozgan)
Subject: ، Algebra, University,، Computer science, Mathematics
Classification :
QA
251
.
D36U55
2002
4546. Universal algebra and applications in theoretical computer science
پدیدآورنده : klaus Denecke, Shelly l. Wismath
موضوع : Algebra, Universal,Computer science - mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4547. Universal algebra and applications in theoretical computer science
Author: Denecke, Klaus
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Algebra, Universal ► Computer science- Mathematics
Classification :
512
D392u
4548. Universal algebra and applications in theoretical computer science
Author: Klaus Denecke, Shelly L. Wismath
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Algebra, Universal,، Computer science -- Mathematics
Classification :
QA
251
.
D44U54
4549. Universal compression and retrieval
Author: Rafail Kirchevsky
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Data compression (computer science),Data compression (Telecommunication),Information storage and retrieval systems
Classification :
QA
,
76
.
9
,.
D33K75
,
1994
4550. Universal compression and retrieval
Author: R. Krichevsky.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data compression (Computer science),Data compression (Telecommunication),Information storage and retrieval systems.
Classification :
QA76
.
9
.
D33
R575
2011
4551. Universal compression and retrieval
Author: Krichevskii, Rafail Evseevich
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Data compression )Computer science( , Data compression )Telecommunication( , Information storage and retrieval systems
Classification :
QA
76
.
9
.
D33
K75
1994
4552. Unusual applications of number theory: DIMACS workshop, unusual applications of number theory, January 10-14, 2000, DIMACS Center
Author: Melvyn B. Nathanson, editor
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Number theory
Classification :
QA
241
.
D56
2000
4553. Unusual applications of number theory : DIMACS workshop, unusual applications of number theory, January 10-14, 2000, DIMACS Center
Author: Melvyn B. Nathanson, editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Number theory
Classification :
QA
241
.
D558
2000
4554. User-centered interaction paradigms for universal access in the information society : 8th ERCIM Workshop on User Interfaces for All, Vienna, Austria, June 28-29, 2004 : revised selected papers
Author: Christian Stary, Constantine Stephanidis )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، User interfaces )Computer systems(,Congresses ، Human-computer interaction
Classification :
QA
76
.
L28
Vol
.
3196
4555. Using Tools for Learning Mathematics and StatisticsتMit Werkzeugen Mathematik und Stochastik lernen
Author: / Thomas Wassong, Daniel Frischemeier, Pascal R. Fischer, Reinhard Hochmuth, Peter Bender
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
4556. Using information technology effectively in teaching and learning :
Author: edited by Bridget Somekh and Niki Davis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted instruction.,Educational technology.,Teachers-- In-service training.,Aufsatzsammlung,Computer-assisted instruction.,Educational technology.,Informationstechnik,Teachers-- In-service training.,Unterrichtstechnologie
Classification :
LB1028
.
3
.
U847
1997
4557. Using sophisticated models in resolution theorem proving
Author: David M. Sandford
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving,Data processing ، Mathematics
Classification :
QA
76
.
L28
Vol
.
90
4558. Using sophisticated models in resolution theorem proving
Author: Sandford, David M.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Automatic theorem proving,Data processing ، Mathematics
Classification :
QA
76
.
9
.
A96
.
S36
1980
4559. Using sophisticated models in resolution theorem proving
Author: Sandford, David M.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Automatic theorem proving,، Mathematics - Data processing
Classification :
QA
76
.
L4
v
.
90
